Software Engineering - PDFSEARCH.IO - Document Search Engine

Software Engineering
Results: 57508

#	Item
971	ANaConDA: A Framework for Analysing Multi-threaded C/C++ Programs on the Binary Level Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-05 08:33:10 Concurrency control Computing Computer programming Software engineering Noise Concurrent computing Thread Monitor Lock File locking
972	String Edit Distance (and intro to dynamic programming) Lecture #4 Computational Linguistics CMPSCI 591N, Spring 2006 Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2014-11-28 11:05:21 Software engineering Computer programming Mathematics Dynamic programming Functional languages Quantitative linguistics Equations Systems engineering Levenshtein distance University of Massachusetts Amherst Fibonacci number Edit distance
973	Introduction to Smalltalk - Chapter 7 - Introduction to Collections  Ivan TomekChapter 7 - Introduction to Collections Overview Catalogs, inventories, dictionaries, lists of popup menu commands, items in a Add to Reading List Source URL: sdmeta.gforge.inria.fr Language: English - Date: 2014-10-09 10:38:18 Software engineering Computer programming Computing Abstract data types Object-oriented programming languages Data types Smalltalk Foreach loop Set VisualWorks Objective-C Array data type
974	Quality Management: Moving from “Good Enough” to Excellent Making Change “Stick” Joanie Ching RN, MN, CPHQ Administrative Director Quality & Safety Swedish Medical Center Add to Reading List Source URL: 25d1t615zk143unonqw6pglz.wpengine.netdna-cdn.com Language: English - Date: 2015-12-07 17:25:09 Software engineering Software Computing Quality management Sustain Proverb Go
975	University of Southern Illinois Carbondale Department of Computer Science Programming with Data Structures using Java – CS220/491 Spring 2016 Course Objectives:  Add to Reading List Source URL: www.cs.siu.edu Language: English - Date: 2016-01-25 00:01:15 Computing Software engineering Computer programming Sun Microsystems Concurrent programming languages Examinations Final examination Java Assignment Algorithm
976	TIE: Principled Reverse Engineering of Types in Binary Programs JongHyup Lee, Thanassis Avgerinos, and David Brumley Carnegie Mellon University {jonglee, thanassis, dbrumley}@cmu.edu Abstract Add to Reading List Source URL: users.ece.cmu.edu Language: English - Date: 2014-05-29 15:38:01 Software engineering Computing Computer programming Data types Type theory Concurrent programming languages C++ Decompiler Low-level programming language Type system Type inference Assembly language
977	Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:02 Computing Network architecture Emerging technologies Software engineering Configuration management Software-defined networking Information technology management Programming paradigms Refinement Programming language Model checking SIGCOMM
978	Custom Development Requirement Gathering Form AspDotNetStoreFront Add to Reading List Source URL: www.lovelyecommerce.com Language: English - Date: 2013-10-10 06:33:35 Software requirements Engineering Systems engineering Requirement E-commerce Application-specific integrated circuit Computing Project management
979	Monotonic References for Efficient Gradual Typing Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , Sam Tobin-Hochstadt1 , and Ronald Garcia2 1 Add to Reading List Source URL: homes.soic.indiana.edu Language: English - Date: 2015-04-23 14:36:50 Software engineering Computing Programming language theory Type theory Data types Procedural programming languages C++ Lambda calculus Type system Type safety Gradual typing ALGOL 68
980	Microsoft PowerPoint - rosecirm-PGAS11.pptx Add to Reading List Source URL: pirkelbauer.com Language: English - Date: 2011-11-04 14:28:34 Computing Software engineering Data types Computer programming Parallel computing Livermore Valley Pointer Const Unified Parallel C Livermore Universal Product Code Lawrence Livermore National Laboratory

UPDATE